Generating Qualitative Equations about Macro-Behavior of Foraging in Ant Colony

We propose a method of automatically generating qualitative equations, i.e., monotonic and di erential relations among the variables, to model and analyze macro-behaviors of foraging in ant colony. Foraging is a well-coordinated group behavior of ant colony, which is achieved by the cooperation of individual ants. We executed numerical simulations for the foraging behaviors to see what happens in the colony, and implemented a reasoner which can predict the most basic characteristic of foraging behaviors, i.e., continuous growth of the number of ants gathering to a bait-site.